Instability, Modus Ponens and Uncertainty of Deduction
نویسنده
چکیده
Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validness of reasoning sequence in the real physical world, and from similar cause cannot gain similar result. Some kind of stability hypothesis should be added in order to draw meaningful conclusion. So the uncertainty of deductive inference appears the same as that of inductive inference, and the asymmetry between deduction and induction becomes unrecognizable in a way just like the case that the fundamental cleavage between the truth which are analytic and truth which are synthetic is ill-founded as W.V.O.Quine pointed out. Induction is not worse than deduction from a pragmatic stand.
منابع مشابه
Conditional Deduction Under Uncertainty
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical example of a conditional deduction rule, expresses a conditional relationship between an antecedent and a consequent. A generalisation of Modus Ponens to probabilities in the form of probabilistic conditional inference...
متن کاملOn weakening the Deduction Theorem and strengthening Modus Ponens
This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...
متن کاملUncertain Entailment and Modus Ponens in the Framework of Uncertain Logic
Uncertain entailment is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to find the truth value of additional formula, this paper will introduce an entailment model. As applications of uncertain entailment, this paper will also discuss modus ponens, modus tollens, an...
متن کاملAn exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
This article will study a class of deduction systems that allow for a limited use of the modus ponens method of deduction. We will show that it is possible to devise axiom systems α that can recognize their consistency under a deduction system D provided that: 1) α treats multiplication as a 3-way relation (rather than as a total function), and that 2)D does not allow for the use of a modus pon...
متن کاملOn the joint verification of Modus Ponens and Modus Tollens in fuzzy logic
This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...
متن کامل